| Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
|---|---|---|---|---|---|
Libro |
Introduction to Metamathematics: | Kleene, Stephen Cole |
(1950) |
Sala
|
---------- |
|
Libro |
The Foundations of Intuitionistic Mathematics: Especially in Relation to Recursive Functions | Kleene, Stephen Cole |
(1965) |
Sala
|
---------- |
